State Based Static and Dynamic Formal Analysis of UML State Diagrams
نویسندگان
چکیده
منابع مشابه
State Based Static and Dynamic Formal Analysis of UML State Diagrams
Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved po...
متن کاملUML Analysis Using State Diagrams
This article demonstrates a new approach to analyzing UML designs using state and sequence diagrams. From multiple state diagrams, a super-state diagram which includes the cross-product of the selected states is built along with a transition matrix of possible transitions. The closure of the transition matrix is used to identify unreachable states and impossible transitions. Additionally, the c...
متن کاملX3D-UML: 3D UML State Machine Diagrams
X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations. Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology. The results of User Task Analysis, Heuristic Evaluation and Formative Evaluation phases provide clear evidence that the use of UML extended with 3D is a pra...
متن کاملMechanical Analysis of UML State Machines and Class Diagrams
A semantic model for statecharts is used as the basis of a mechanization in Isabelle. Similarly, we build an Isabelle embedding of class diagrams using ideas from a reference semantics for Object-Z, without using Object-Z itself, rather expressing the semantics directly in Is-abelle's Higher Order Logic. The combination of these two mechanized semantical models is intended as a basis for reason...
متن کاملVerification of UML State Diagrams Using Concurrent State Machines
Numerous research projects are done in academia as well as in industry aimed to support the design process based on UML and Model Driven Architecture with new methods and tools that would help to verify both static and dynamic aspects of UML model, to generate the code from it etc. Much attention is paid to the verification of system’s behavior by model checking. In a research project done in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2012
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2012.57056